Details

Time bar (total: 3.8m)

sample110.0ms

Algorithm
intervals
Results
73.0ms262×body80valid

simplify354.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
354.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

prune27.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 30.1b

localize59.0ms

Local error

Found 4 expressions with local error:

30.1b
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
0.1b
(* (+ (* x y) z) y)
0.1b
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
0.0b
(* (+ (* (+ y a) y) b) y)

rewrite271.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
18×*-un-lft-identity add-cube-cbrt
12×add-cbrt-cube add-exp-log
10×pow1
9×times-frac associate-*r* associate-*l*
6×associate-*l/
5×flip3-+ flip-+
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×associate-/r* pow-prod-down prod-exp *-commutative cbrt-unprod associate-/l* unswap-sqr
2×associate-/r/ associate-/l/
1×cbrt-undiv clear-num frac-2neg div-exp div-inv
Counts
4 → 103
Calls
4 calls:
Slowest
138.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
60.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
50.0ms
(* (+ (* (+ y a) y) b) y)
22.0ms
(* (+ (* x y) z) y)

series587.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
426.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
67.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
49.0ms
(* (+ (* x y) z) y)
44.0ms
(* (+ (* (+ y a) y) b) y)

simplify13.5s

Counts
74 → 115
Calls
74 calls:
Slowest
655.0ms
(/ (* (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))) (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))
616.0ms
(* (+ (pow (* (+ (* x y) z) y) 3) (pow 27464.7644705 3)) y)
613.0ms
(* (+ (pow (* (+ y a) y) 3) (pow b 3)) y)
511.0ms
(sqrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
492.0ms
(* (- (* (* (+ (* x y) z) y) (* (+ (* x y) z) y)) (* 27464.7644705 27464.7644705)) y)

prune2.3s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 29.4b

localize69.0ms

Local error

Found 4 expressions with local error:

30.1b
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (* (cbrt (* (+ (* (+ y a) y) b) y)) (cbrt (* (+ (* (+ y a) y) b) y))) (cbrt (* (+ (* (+ y a) y) b) y))) c) y) i))
29.5b
(cbrt (* (+ (* (+ y a) y) b) y))
29.5b
(cbrt (* (+ (* (+ y a) y) b) y))
29.5b
(cbrt (* (+ (* (+ y a) y) b) y))

rewrite430.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×times-frac
6×cbrt-div add-cbrt-cube associate-*l/ add-exp-log
5×flip3-+ flip-+
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-prod associate-/r* pow1/3 associate-/l*
2×associate-/r/ associate-/l/
1×cbrt-undiv clear-num frac-2neg div-exp div-inv
Counts
4 → 76
Calls
4 calls:
Slowest
366.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (* (cbrt (* (+ (* (+ y a) y) b) y)) (cbrt (* (+ (* (+ y a) y) b) y))) (cbrt (* (+ (* (+ y a) y) b) y))) c) y) i))
22.0ms
(cbrt (* (+ (* (+ y a) y) b) y))
21.0ms
(cbrt (* (+ (* (+ y a) y) b) y))
21.0ms
(cbrt (* (+ (* (+ y a) y) b) y))

series968.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
562.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (* (cbrt (* (+ (* (+ y a) y) b) y)) (cbrt (* (+ (* (+ y a) y) b) y))) (cbrt (* (+ (* (+ y a) y) b) y))) c) y) i))
141.0ms
(cbrt (* (+ (* (+ y a) y) b) y))
138.0ms
(cbrt (* (+ (* (+ y a) y) b) y))
127.0ms
(cbrt (* (+ (* (+ y a) y) b) y))

simplify11.9s

Counts
50 → 88
Calls
50 calls:
Slowest
788.0ms
(cbrt (* (- (* (* (+ y a) y) (* (+ y a) y)) (* b b)) y))
739.0ms
(cbrt (* (+ (pow (* (+ y a) y) 3) (pow b 3)) y))
680.0ms
(cbrt (* (+ (pow (* (+ y a) y) 3) (pow b 3)) y))
636.0ms
(cbrt (* (+ (pow (* (+ y a) y) 3) (pow b 3)) y))
605.0ms
(/ (* (* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (* (* (+ (* (+ (* (* (cbrt (* (+ (* (+ y a) y) b) y)) (cbrt (* (+ (* (+ y a) y) b) y))) (cbrt (* (+ (* (+ y a) y) b) y))) c) y) i) (+ (* (+ (* (* (cbrt (* (+ (* (+ y a) y) b) y)) (cbrt (* (+ (* (+ y a) y) b) y))) (cbrt (* (+ (* (+ y a) y) b) y))) c) y) i)) (+ (* (+ (* (* (cbrt (* (+ (* (+ y a) y) b) y)) (cbrt (* (+ (* (+ y a) y) b) y))) (cbrt (* (+ (* (+ y a) y) b) y))) c) y) i)))

prune2.0s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 29.4b

localize69.0ms

Local error

Found 4 expressions with local error:

29.9b
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
0.3b
(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
0.1b
(* (+ (* x y) z) y)
0.1b
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)

rewrite379.0ms

Algorithm
rewrite-expression-head
Rules
90×times-frac
64×add-sqr-sqrt
60×*-un-lft-identity add-cube-cbrt
21×add-exp-log
18×associate-/r*
15×add-cbrt-cube
11×associate-/r/
9×pow1
8×flip3-+ div-exp flip-+
6×associate-*r* associate-*l* div-inv associate-/l*
4×expm1-log1p-u cbrt-undiv associate-*l/ insert-posit16 log1p-expm1-u add-log-exp
2×rec-exp clear-num frac-2neg 1-exp pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr associate-/l/
1×pow-flip inv-pow
Counts
4 → 167
Calls
4 calls:
Slowest
174.0ms
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
115.0ms
(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
51.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
35.0ms
(* (+ (* x y) z) y)

series1.3s

Counts
4 → 12
Calls
4 calls:
Slowest
635.0ms
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
581.0ms
(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
70.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
61.0ms
(* (+ (* x y) z) y)

simplify44.3s

Counts
178 → 179
Calls
178 calls:
Slowest
764.0ms
(+ (pow (* (+ (* (+ (* (+ y a) y) b) y) c) y) 3) (pow i 3))
709.0ms
(/ (sqrt 1) (cbrt (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))))
688.0ms
(/ (* (* 1 1) 1) (/ (* (* (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (* (* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))))
655.0ms
(* (+ (pow (* (+ (* x y) z) y) 3) (pow 27464.7644705 3)) y)
538.0ms
(* (- (* (* (+ (* x y) z) y) (* (+ (* x y) z) y)) (* 27464.7644705 27464.7644705)) y)

prune4.5s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 29.4b

localize77.0ms

Local error

Found 4 expressions with local error:

29.9b
(/ (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (/ 1 (fma y (fma (fma (fma y x z) y 27464.7644705) y 230661.510616) t)))
0.2b
(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
0.2b
(/ 1 (fma y (fma (fma (fma y x z) y 27464.7644705) y 230661.510616) t))
0.0b
(* (+ (* (+ y a) y) b) y)

rewrite218.0ms

Algorithm
rewrite-expression-head
Rules
483×times-frac
234×add-sqr-sqrt
232×*-un-lft-identity add-cube-cbrt
54×add-exp-log
36×div-exp
33×div-inv
31×associate-/r/
22×add-cbrt-cube
21×associate-/l*
19×associate-/r*
16×flip3-+ flip-+
10×cbrt-undiv rec-exp 1-exp
8×pow1
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg associate-*r* associate-*l*
2×associate-*l/ pow-flip inv-pow
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr associate-/l/
Counts
4 → 351
Calls
4 calls:
Slowest
120.0ms
(/ (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (/ 1 (fma y (fma (fma (fma y x z) y 27464.7644705) y 230661.510616) t)))
46.0ms
(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
36.0ms
(* (+ (* (+ y a) y) b) y)
6.0ms
(/ 1 (fma y (fma (fma (fma y x z) y 27464.7644705) y 230661.510616) t))

series876.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
659.0ms
(/ (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (/ 1 (fma y (fma (fma (fma y x z) y 27464.7644705) y 230661.510616) t)))
89.0ms
(/ 1 (fma y (fma (fma (fma y x z) y 27464.7644705) y 230661.510616) t))
78.0ms
(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
50.0ms
(* (+ (* (+ y a) y) b) y)

simplify2.2m

Counts
516 → 363
Calls
516 calls:
Slowest
703.0ms
(/ (/ (cbrt 1) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))) (/ (cbrt 1) (fma y (fma (fma (fma y x z) y 27464.7644705) y 230661.510616) t)))
684.0ms
(/ (/ 1 (sqrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))) (/ 1 (fma y (fma (fma (fma y x z) y 27464.7644705) y 230661.510616) t)))
629.0ms
(/ (/ (sqrt 1) (sqrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))) (sqrt (/ 1 (fma y (fma (fma (fma y x z) y 27464.7644705) y 230661.510616) t))))
590.0ms
(/ (* (cbrt 1) (cbrt 1)) (sqrt (fma y (fma (fma (fma y x z) y 27464.7644705) y 230661.510616) t)))
563.0ms
(/ (/ (* (* 1 1) 1) (* (* (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))) (/ (* (* 1 1) 1) (* (* (fma y (fma (fma (fma y x z) y 27464.7644705) y 230661.510616) t) (fma y (fma (fma (fma y x z) y 27464.7644705) y 230661.510616) t)) (fma y (fma (fma (fma y x z) y 27464.7644705) y 230661.510616) t))))

prune8.1s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 29.4b

regimes1.5s

Accuracy

0% (0.7b remaining)

Error of 29.1b against oracle of 28.4b and baseline of 29.1b

bsearch3.0ms

end0.0ms

sample3.3s

Algorithm
intervals
Results
2.2s8235×body80valid