Details

Time bar (total: 31.5s)

sample66.0ms

Algorithm
intervals
Results
32.0ms86×body1280valid
10.0ms146×body80valid
3.0ms9×body640valid
2.0ms10×body320valid
1.0ms5×body160valid

simplify41.0ms

Counts
1 → 1
Iterations
IterNodes
done30
430
328
224
119
09

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.5b

localize45.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ 1.0 (/ 1.0 (hypot 1.0 x)))
0.0b
(hypot 1.0 x)
0.0b
(/ 1.0 (hypot 1.0 x))
1.8b
(- 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
16×*-un-lft-identity
14×add-sqr-sqrt
12×add-cube-cbrt
9×times-frac
8×add-log-exp
6×add-exp-log add-cbrt-cube
4×pow1
3×associate-/r* associate-/l*
1×cbrt-undiv +-commutative sub-neg flip3-- frac-2neg flip3-+ diff-log div-exp clear-num sum-log flip-- flip-+ div-inv distribute-lft-out distribute-lft-out-- difference-of-squares
Counts
4 → 60
Calls
4 calls:
19.0ms
(+ 1.0 (/ 1.0 (hypot 1.0 x)))
0.0ms
(hypot 1.0 x)
10.0ms
(/ 1.0 (hypot 1.0 x))
17.0ms
(- 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))

series224.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(+ 1.0 (/ 1.0 (hypot 1.0 x)))
3.0ms
(hypot 1.0 x)
14.0ms
(/ 1.0 (hypot 1.0 x))
157.0ms
(- 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))

simplify3.6s

Counts
72 → 72
Iterations
IterNodes
done5002
32609
2642
1220
0101

prune522.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 11.9b

localize102.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 1.0 (hypot 1.0 x))
0.0b
(/ (- (* (* 1.0 1.0) 1.0) (* (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) (sqrt (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5)))) (+ (* 1.0 (+ (sqrt (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5)) 1.0)) (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5)))
0.0b
(* (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) (sqrt (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5)))
1.3b
(- (* (* 1.0 1.0) 1.0) (* (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) (sqrt (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5))))

rewrite941.0ms

Algorithm
rewrite-expression-head
Rules
24×pow1
21×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
18×times-frac associate-*l/
13×add-exp-log add-cbrt-cube
11×flip3-+ flip-+
8×pow-prod-down
6×sqrt-div associate-*r/ associate-/r* associate-/r/ pow-prod-up associate-/l* add-log-exp
4×frac-times sqrt-pow1 associate-*r* frac-add
3×prod-exp cbrt-unprod
2×cbrt-undiv flip3-- frac-2neg pow1/2 div-exp clear-num flip-- div-inv associate-/l/
1×sub-neg diff-log div-sub associate-*l* sqrt-prod *-commutative
Counts
4 → 108
Calls
4 calls:
11.0ms
(/ 1.0 (hypot 1.0 x))
588.0ms
(/ (- (* (* 1.0 1.0) 1.0) (* (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) (sqrt (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5)))) (+ (* 1.0 (+ (sqrt (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5)) 1.0)) (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5)))
157.0ms
(* (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) (sqrt (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5)))
177.0ms
(- (* (* 1.0 1.0) 1.0) (* (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) (sqrt (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5))))

series1.3s

Counts
4 → 12
Calls
4 calls:
18.0ms
(/ 1.0 (hypot 1.0 x))
691.0ms
(/ (- (* (* 1.0 1.0) 1.0) (* (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) (sqrt (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5)))) (+ (* 1.0 (+ (sqrt (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5)) 1.0)) (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5)))
263.0ms
(* (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) (sqrt (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5)))
296.0ms
(- (* (* 1.0 1.0) 1.0) (* (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) (sqrt (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5))))

simplify4.8s

Counts
120 → 120
Iterations
IterNodes
done5000
23044
1705
0242

prune1.3s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 11.9b

localize418.0ms

Local error

Found 4 expressions with local error:

1.3b
(- (* (/ 1.0 (hypot 1.0 x)) (/ 1.0 (hypot 1.0 x))) (* 1.0 (/ 1.0 (hypot 1.0 x))))
1.3b
(- (* (* 1.0 1.0) 1.0) (* (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))) (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))))
1.8b
(- 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))
1.8b
(- (* 1.0 1.0) (* (sqrt (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5)) 1.0))

rewrite244.0ms

Algorithm
rewrite-expression-head
Rules
12×add-log-exp
7×associate-*r/
6×add-sqr-sqrt *-un-lft-identity
4×pow1 add-exp-log add-cube-cbrt sub-neg flip3-- diff-log add-cbrt-cube flip--
3×frac-sub
2×distribute-rgt-out-- associate-*l/ sub-div
1×frac-times distribute-lft-out-- difference-of-squares
Counts
4 → 57
Calls
4 calls:
31.0ms
(- (* (/ 1.0 (hypot 1.0 x)) (/ 1.0 (hypot 1.0 x))) (* 1.0 (/ 1.0 (hypot 1.0 x))))
180.0ms
(- (* (* 1.0 1.0) 1.0) (* (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))) (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))))
12.0ms
(- 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))
18.0ms
(- (* 1.0 1.0) (* (sqrt (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5)) 1.0))

series876.0ms

Counts
4 → 12
Calls
4 calls:
150.0ms
(- (* (/ 1.0 (hypot 1.0 x)) (/ 1.0 (hypot 1.0 x))) (* 1.0 (/ 1.0 (hypot 1.0 x))))
288.0ms
(- (* (* 1.0 1.0) 1.0) (* (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))) (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))))
218.0ms
(- 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))
220.0ms
(- (* 1.0 1.0) (* (sqrt (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5)) 1.0))

simplify2.9s

Counts
69 → 69
Iterations
IterNodes
done5000
21803
1404
0149

prune1.1s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 11.9b

localize208.0ms

Local error

Found 4 expressions with local error:

0.9b
(cbrt (* (* (- (* (* 1.0 1.0) 1.0) (* (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) (sqrt (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5)))) (- (* (* 1.0 1.0) 1.0) (* (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) (sqrt (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5))))) (- (* (* 1.0 1.0) 1.0) (* (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) (sqrt (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5))))))
1.3b
(- (* (* 1.0 1.0) 1.0) (* (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) (sqrt (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5))))
1.3b
(- (* (* 1.0 1.0) 1.0) (* (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) (sqrt (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5))))
1.3b
(- (* (* 1.0 1.0) 1.0) (* (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) (sqrt (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5))))

rewrite2.2s

Algorithm
rewrite-expression-head
Rules
30×flip3-- flip--
28×frac-times
26×cbrt-div
14×associate-*l/
10×add-log-exp
8×associate-*r/
4×pow1 add-exp-log add-sqr-sqrt add-cube-cbrt *-un-lft-identity add-cbrt-cube
3×sub-neg diff-log
1×cbrt-prod pow1/3 pow3 rem-cbrt-cube
Counts
4 → 72
Calls
4 calls:
1.6s
(cbrt (* (* (- (* (* 1.0 1.0) 1.0) (* (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) (sqrt (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5)))) (- (* (* 1.0 1.0) 1.0) (* (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) (sqrt (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5))))) (- (* (* 1.0 1.0) 1.0) (* (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) (sqrt (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5))))))
178.0ms
(- (* (* 1.0 1.0) 1.0) (* (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) (sqrt (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5))))
197.0ms
(- (* (* 1.0 1.0) 1.0) (* (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) (sqrt (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5))))
173.0ms
(- (* (* 1.0 1.0) 1.0) (* (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) (sqrt (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5))))

series1.1s

Counts
4 → 12
Calls
4 calls:
267.0ms
(cbrt (* (* (- (* (* 1.0 1.0) 1.0) (* (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) (sqrt (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5)))) (- (* (* 1.0 1.0) 1.0) (* (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) (sqrt (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5))))) (- (* (* 1.0 1.0) 1.0) (* (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) (sqrt (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5))))))
267.0ms
(- (* (* 1.0 1.0) 1.0) (* (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) (sqrt (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5))))
296.0ms
(- (* (* 1.0 1.0) 1.0) (* (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) (sqrt (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5))))
282.0ms
(- (* (* 1.0 1.0) 1.0) (* (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) (sqrt (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5))))

simplify5.1s

Counts
84 → 84
Iterations
IterNodes
done5009
21431
1349
0147

prune848.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 11.9b

regimes370.0ms

Accuracy

0% (0.0b remaining)

Error of 14.6b against oracle of 14.6b and baseline of 14.6b

bsearch0.0ms

simplify13.0ms

Iterations
IterNodes
done29
129
021

end0.0ms

sample3.1s

Algorithm
intervals
Results
2.2s2828×body1280valid
324.0ms601×body640valid
309.0ms4087×body80valid
66.0ms312×body320valid
27.0ms172×body160valid