Details

Time bar (total: 4.7m)

sample118.0ms

Algorithm
intervals
Results
79.0ms262×body80valid

simplify279.0ms

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

prune23.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.1b

localize92.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)

rewrite263.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×insert-posit16 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 → 95
Calls
4 calls:
Slowest
159.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
42.0ms
(* (+ (* (+ y a) y) b) y)
40.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
20.0ms
(* (+ (* x y) z) y)

series614.0ms

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

simplify14.4s

Counts
74 → 107
Calls
74 calls:
Slowest
769.0ms
(+ (pow (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) 3) (pow t 3))
696.0ms
(cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
688.0ms
(- (* (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)) (* t t))
641.0ms
(* (+ (pow (* (+ (* x y) z) y) 3) (pow 27464.7644705 3)) y)
550.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)) (* (* (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

prune2.1s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 29.4b

localize73.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))

rewrite439.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×pow1 insert-posit16 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 → 68
Calls
4 calls:
Slowest
378.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))
21.0ms
(cbrt (* (+ (* (+ y a) y) b) y))
20.0ms
(cbrt (* (+ (* (+ y a) y) b) y))
18.0ms
(cbrt (* (+ (* (+ y a) y) b) y))

series1.0s

Counts
4 → 12
Calls
4 calls:
Slowest
571.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))
159.0ms
(cbrt (* (+ (* (+ y a) y) b) y))
156.0ms
(cbrt (* (+ (* (+ y a) y) b) y))
143.0ms
(cbrt (* (+ (* (+ y a) y) b) y))

simplify12.4s

Counts
50 → 80
Calls
50 calls:
Slowest
827.0ms
(+ (pow (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) 3) (pow t 3))
652.0ms
(- (* (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)) (* t t))
614.0ms
(cbrt (* (+ (pow (* (+ y a) y) 3) (pow b 3)) y))
579.0ms
(cbrt (* (+ (pow (* (+ y a) y) 3) (pow b 3)) y))
558.0ms
(cbrt (* (+ (pow (* (+ y a) y) 3) (pow b 3)) y))

prune2.3s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 29.4b

localize87.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)

rewrite442.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×cbrt-undiv associate-*l/ insert-posit16 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 → 159
Calls
4 calls:
Slowest
191.0ms
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
159.0ms
(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
67.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
20.0ms
(* (+ (* x y) z) y)

series1.4s

Counts
4 → 12
Calls
4 calls:
Slowest
694.0ms
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
605.0ms
(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
94.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
38.0ms
(* (+ (* x y) z) y)

simplify45.2s

Counts
178 → 171
Calls
178 calls:
Slowest
769.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))))
693.0ms
(/ (sqrt 1) (/ (sqrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (* (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))))
665.0ms
(+ (pow (* (+ (* (+ (* (+ y a) y) b) y) c) y) 3) (pow i 3))
643.0ms
(* (+ (pow (* (+ (* x y) z) y) 3) (pow 27464.7644705 3)) y)
611.0ms
(- (* (* (+ (* (+ (* (+ y a) y) b) y) c) y) (* (+ (* (+ (* (+ y a) y) b) y) c) y)) (* i i))

prune3.5s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 29.4b

localize65.0ms

Local error

Found 4 expressions with local error:

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

rewrite730.0ms

Algorithm
rewrite-expression-head
Rules
531×times-frac
248×add-sqr-sqrt
246×*-un-lft-identity add-cube-cbrt
69×associate-/r/
54×add-exp-log
36×div-exp
35×flip3-+ flip-+ div-inv
22×add-cbrt-cube
21×associate-/r* associate-/l*
10×cbrt-undiv rec-exp 1-exp
8×pow1
4×insert-posit16 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 → 377
Calls
4 calls:
Slowest
453.0ms
(/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
174.0ms
(/ (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
72.0ms
(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
23.0ms
(* (+ (* x y) z) y)

series910.0ms

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

simplify3.0m

Counts
580 → 389
Calls
580 calls:
Slowest
1.1s
(/ (/ (* (* 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) (* (* (+ (* (+ (* (+ (* (+ (* 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))))
1.1s
(/ 1 (+ (pow (* (+ (* (+ (* (+ y a) y) b) y) c) y) 3) (pow i 3)))
975.0ms
(/ (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
874.0ms
(/ (/ 1 1) (* (cbrt (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))) (cbrt (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))))
722.0ms
(/ (/ (cbrt 1) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (/ 1 (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))))

prune9.0s

Pruning

11 alts after pruning (9 fresh and 2 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

bsearch12.0ms

end0.0ms

sample3.3s

Algorithm
intervals
Results
2.7s8235×body80valid