Details

Time bar (total: 1.3m)

sample107.0ms

Algorithm
intervals
Results
76.0ms264×body80valid

simplify284.0ms

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

prune25.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 27.2b

localize74.0ms

Local error

Found 4 expressions with local error:

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

rewrite119.0ms

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

series490.0ms

Calls
4 calls:
Slowest
372.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
40.0ms
(* (+ (* (+ y a) y) b) y)
39.0ms
(* (+ (* x y) z) y)
39.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)

simplify14.4s

Calls
53 calls:
Slowest
723.0ms
(+ (pow (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) 3) (pow t 3))
642.0ms
(- (* (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)) (* t t))
562.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)))
560.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))) 1)
547.0ms
(/ (sqrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) 1)

prune2.2s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 26.6b

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite191.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt *-un-lft-identity associate-*l* add-exp-log add-cube-cbrt
7×pow1
6×flip3-+ add-cbrt-cube associate-*r* associate-*l/ flip-+
4×associate-/r/ insert-posit16 add-log-exp
3×associate-/r* *-commutative
2×frac-times rec-exp prod-exp div-inv
1×clear-num frac-2neg pow-prod-down associate-*r/ un-div-inv cbrt-unprod pow-flip inv-pow
Calls
4 calls:
Slowest
112.0ms
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
41.0ms
(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
26.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
11.0ms
(* (+ (* x y) z) y)

series536.0ms

Calls
4 calls:
Slowest
374.0ms
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
66.0ms
(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
55.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
41.0ms
(* (+ (* x y) z) y)

simplify12.9s

Calls
46 calls:
Slowest
837.0ms
(* (+ (pow (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) 3) (pow t 3)) 1)
826.0ms
(+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)
739.0ms
(* (- (* (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)) (* t t)) 1)
549.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))))
523.0ms
(* (+ (pow (* (+ (* x y) z) y) 3) (pow 27464.7644705 3)) y)

prune2.1s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 26.6b

localize56.0ms

Local error

Found 4 expressions with local error:

29.5b
(cbrt (* (+ (* (+ y a) y) b) y))
29.5b
(cbrt (* (+ (* (+ y a) y) b) y))
29.5b
(cbrt (* (+ (* (+ y a) y) b) y))
27.2b
(/ (+ (* (+ (* (+ (* (+ (* 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))

rewrite269.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
Calls
4 calls:
Slowest
238.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))
11.0ms
(cbrt (* (+ (* (+ y a) y) b) y))
10.0ms
(cbrt (* (+ (* (+ y a) y) b) y))
10.0ms
(cbrt (* (+ (* (+ y a) y) b) y))

series948.0ms

Calls
4 calls:
Slowest
535.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))
150.0ms
(cbrt (* (+ (* (+ y a) y) b) y))
137.0ms
(cbrt (* (+ (* (+ y a) y) b) y))
126.0ms
(cbrt (* (+ (* (+ y a) y) b) y))

simplify13.6s

Calls
50 calls:
Slowest
724.0ms
(+ (pow (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) 3) (pow t 3))
695.0ms
(- (* (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)) (* t t))
626.0ms
(+ (* (* (+ (* (* (cbrt (* (+ (* (+ y a) y) b) y)) (cbrt (* (+ (* (+ y a) y) b) y))) (cbrt (* (+ (* (+ y a) y) b) y))) c) y) (* (+ (* (* (cbrt (* (+ (* (+ y a) y) b) y)) (cbrt (* (+ (* (+ y a) y) b) y))) (cbrt (* (+ (* (+ y a) y) b) y))) c) y)) (- (* i i) (* (* (+ (* (* (cbrt (* (+ (* (+ y a) y) b) y)) (cbrt (* (+ (* (+ y a) y) b) y))) (cbrt (* (+ (* (+ y a) y) b) y))) c) y) i)))
600.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)))
570.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))) 1)

prune2.4s

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 26.6b

localize68.0ms

Local error

Found 4 expressions with local error:

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

rewrite322.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×times-frac
6×cbrt-div add-cbrt-cube add-exp-log
5×cbrt-prod flip3-+ flip-+
4×pow1 associate-*l/ 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
Calls
4 calls:
Slowest
294.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (* (cbrt (* (+ (* (+ y a) y) b) y)) (* (cbrt (+ (* (+ y a) y) b)) (cbrt y))) (cbrt (* (+ (* (+ y a) y) b) y))) c) y) i))
11.0ms
(cbrt (* (+ (* (+ y a) y) b) y))
10.0ms
(cbrt (* (+ (* (+ y a) y) b) y))
6.0ms
(cbrt (+ (* (+ y a) y) b))

series957.0ms

Calls
4 calls:
Slowest
553.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (* (cbrt (* (+ (* (+ y a) y) b) y)) (* (cbrt (+ (* (+ y a) y) b)) (cbrt y))) (cbrt (* (+ (* (+ y a) y) b) y))) c) y) i))
147.0ms
(cbrt (* (+ (* (+ y a) y) b) y))
133.0ms
(cbrt (+ (* (+ y a) y) b))
124.0ms
(cbrt (* (+ (* (+ y a) y) b) y))

simplify15.5s

Calls
52 calls:
Slowest
971.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)))
917.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)) (cbrt y))) (cbrt (* (+ (* (+ y a) y) b) y))) c) y) i) (+ (* (+ (* (* (cbrt (* (+ (* (+ y a) y) b) y)) (* (cbrt (+ (* (+ y a) y) b)) (cbrt y))) (cbrt (* (+ (* (+ y a) y) b) y))) c) y) i)) (+ (* (+ (* (* (cbrt (* (+ (* (+ y a) y) b) y)) (* (cbrt (+ (* (+ y a) y) b)) (cbrt y))) (cbrt (* (+ (* (+ y a) y) b) y))) c) y) i)))
787.0ms
(+ (pow (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) 3) (pow t 3))
679.0ms
(- (* (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)) (* t t))
506.0ms
(cbrt (* (+ (pow (* (+ y a) y) 3) (pow b 3)) y))

prune2.5s

Pruning

12 alts after pruning (9 fresh and 3 done)

Merged error: 26.6b

regimes2.1s

Accuracy

0% (0.8b remaining)

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

bsearch7.0ms

end0.0ms

sample3.5s

Algorithm
intervals
Results
3.1s8230×body80valid