Details

Time bar (total: 1.8m)

sample80.0ms

Algorithm
intervals
Results
57.0ms265×body80valid

simplify258.0ms

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

prune21.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 26.2b

localize87.0ms

Local error

Found 4 expressions with local error:

26.2b
(/ (+ (* (+ (* (+ (* (+ (* 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
(* (+ (* (+ y a) y) b) y)
0.1b
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)

rewrite295.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
168.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
54.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
37.0ms
(* (+ (* (+ y a) y) b) y)
34.0ms
(* (+ (* x y) z) y)

series572.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
398.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
71.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
52.0ms
(* (+ (* x y) z) y)
50.0ms
(* (+ (* (+ y a) y) b) y)

simplify14.6s

Counts
74 → 107
Calls
74 calls:
Slowest
848.0ms
(- (* (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)) (* t t))
793.0ms
(+ (pow (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) 3) (pow t 3))
666.0ms
(* (+ (pow (* (+ (* x y) z) y) 3) (pow 27464.7644705 3)) y)
607.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
592.0ms
(* (+ (pow (* (+ y a) y) 3) (pow b 3)) y)

prune2.1s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 25.6b

localize115.0ms

Local error

Found 4 expressions with local error:

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

rewrite652.0ms

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

series1.2s

Counts
4 → 12
Calls
4 calls:
Slowest
493.0ms
(/ (+ (* (+ (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) y)) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
232.0ms
(cbrt (+ (* (+ (* x y) z) y) 27464.7644705))
225.0ms
(cbrt (+ (* (+ (* x y) z) y) 27464.7644705))
218.0ms
(cbrt (+ (* (+ (* x y) z) y) 27464.7644705))

simplify14.3s

Counts
56 → 86
Calls
56 calls:
Slowest
814.0ms
(exp (* -1/3 (+ (log (/ 1 x)) (* 2 (log (/ 1 y))))))
578.0ms
(- (* (* (+ (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) y)) 230661.510616) y) (* (+ (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) y)) 230661.510616) y)) (* t t))
575.0ms
(cbrt (+ (pow (* (+ (* x y) z) y) 3) (pow 27464.7644705 3)))
574.0ms
(+ (pow (* (+ (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) y)) 230661.510616) y) 3) (pow t 3))
556.0ms
(/ (* (* (+ (* (+ (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) y)) 230661.510616) y) t) (+ (* (+ (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) y)) 230661.510616) y) t)) (+ (* (+ (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (* (cbrt (+ (* (+ (* 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

13 alts after pruning (12 fresh and 1 done)

Merged error: 25.5b

localize55.0ms

Local error

Found 4 expressions with local error:

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

rewrite440.0ms

Algorithm
rewrite-expression-head
Rules
35×add-sqr-sqrt
25×*-un-lft-identity
24×add-cube-cbrt
21×associate-*r* add-exp-log
20×times-frac
15×add-cbrt-cube
11×pow1
9×associate-*l*
6×flip3-+ associate-*l/ prod-exp flip-+
5×unswap-sqr
4×div-exp associate-/r/ cbrt-unprod insert-posit16 add-log-exp
3×associate-/r* pow-prod-down *-commutative associate-/l*
2×frac-times cbrt-undiv rec-exp 1-exp div-inv
1×clear-num frac-2neg associate-*r/ un-div-inv pow-flip inv-pow
Counts
4 → 119
Calls
4 calls:
Slowest
329.0ms
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
55.0ms
(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
34.0ms
(* (+ (* (+ y a) y) b) y)
20.0ms
(* (+ (* x y) z) y)

series675.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
489.0ms
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
81.0ms
(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
56.0ms
(* (+ (* (+ y a) y) b) y)
49.0ms
(* (+ (* x y) z) y)

simplify23.3s

Counts
101 → 131
Calls
101 calls:
Slowest
755.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)) (/ (* (* 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))))
680.0ms
(+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)
623.0ms
(* (+ (pow (* (+ y a) y) 3) (pow b 3)) y)
532.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)) (* (* (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))
491.0ms
(- (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)

prune2.7s

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 25.5b

localize90.0ms

Local error

Found 4 expressions with local error:

21.4b
(* (/ 1 (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))) (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))
17.0b
(cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
17.0b
(cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
17.0b
(cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

rewrite709.0ms

Algorithm
rewrite-expression-head
Rules
49×add-exp-log
43×add-sqr-sqrt
33×times-frac
25×*-un-lft-identity
24×associate-*r*
22×add-cube-cbrt
21×cbrt-prod
20×cbrt-div prod-exp
18×add-cbrt-cube
15×div-exp associate-*l*
10×flip3-+ associate-/r/ flip-+
9×unswap-sqr
8×cbrt-unprod
7×cbrt-undiv
6×pow1
5×frac-times
4×rec-exp 1-exp insert-posit16 add-log-exp
3×pow1/3 associate-*l/ associate-*r/
2×div-inv
1×pow-prod-down *-commutative
Counts
4 → 123
Calls
4 calls:
Slowest
634.0ms
(* (/ 1 (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))) (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))
30.0ms
(cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
21.0ms
(cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
20.0ms
(cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

series1.3s

Counts
4 → 12
Calls
4 calls:
Slowest
710.0ms
(* (/ 1 (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))) (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))
200.0ms
(cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
196.0ms
(cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
191.0ms
(cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify32.7s

Counts
107 → 135
Calls
107 calls:
Slowest
791.0ms
(* (/ (* (* 1 1) 1) (* (* (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))) (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))) (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ 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)) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
762.0ms
(cbrt (+ (pow (* (+ (* (+ (* (+ y a) y) b) y) c) y) 3) (pow i 3)))
761.0ms
(* (/ (* (* 1 1) 1) (* (+ (* (+ (* (+ (* (+ 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)) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
751.0ms
(* (* (* (/ 1 (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))) (/ 1 (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))) (/ 1 (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ 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)) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
724.0ms
(* (/ (* (* 1 1) 1) (* (* (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))) (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))) (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))) (* (* (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))) (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))) (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))))

prune3.1s

Pruning

13 alts after pruning (10 fresh and 3 done)

Merged error: 25.5b

regimes1.8s

Accuracy

0% (0.8b remaining)

Error of 28.5b against oracle of 27.7b and baseline of 28.5b

bsearch6.0ms

end0.0ms

sample2.8s

Algorithm
intervals
Results
2.1s8210×body80valid